@Tim Gowers

An AI model developed by OpenAI has autonomously produced a novel proof refuting a conjecture in geometry posed by mathematician Paul Erdős in 1946, which had remained unsolved for nearly 80 years. Th…

A major unsolved geometry problem known as the "unit distance" conjecture, first posed by mathematician Paul Erdős in 1946, has been solved by an AI chatbot developed by OpenAI. The AI produced a nove…